LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.org·1d
🔍FPGA Verification
Why Binary Won and Nothing Else Even Got Close
b0a04gl.site·19h·
Discuss: Hacker News
🧲RISC-V Archaeology
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·8h
📝Concrete Syntax
OpenELA Introduces Open-Source Verification Suite for Enterprise Linux
linuxiac.com·3h
🔓Open Source Software
ICSA Colloquium Talk - 10/07/2025
informatics.ed.ac.uk·3h
🧲RISC-V Archaeology
Program Execution, follow-up
windowsir.blogspot.com·2h·
Discuss: www.blogger.com
⚡Performance Tools
Generative AI Exacerbates Software Supply Chain Risks
darkreading.com·24m
🔒WASM Capabilities
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·24m·
Discuss: DEV
📏Code Metrics
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·14h
🧮Prolog Parsing
Proving that every program halts
ntietz.com·2d
👑Isabelle
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·13h·
Discuss: Hacker News
🦀Rust Macros
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Threaded Code
muforth.dev·3h·
Discuss: Hacker News
🦀Rust Macros
Deciding Termination of Simple Randomized Loops
arxiv.org·1d
🌳Persistent Data Structures
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·10h
🔍Concolic Testing
PicoEMP: low-cost Electromagnetic Fault Injection (EMFI) tool
github.com·11h·
Discuss: Hacker News
⚡Circuit Archaeology
When "Yes" Means Nothing: An LLMs Failure to Isolate a Localization Bug
blog.kortlepel.com·1d·
Discuss: Hacker News
🐛Fuzzing
My first experience with Formal Methods | ZipCPU
zipcpu.com·6d
🔧Hardware Verification
VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM
arxiv.org·1d
🏭Compiler Backends